Ice-lens formation and geometrical supercooling in soils and other colloidal materials

We present a new, physically-intuitive model of ice-lens formation and growth during the freezing of soils and other dense, particulate suspensions. Motivated by experimental evidence, we consider the growth of an ice-filled crack in a freezing soil. At low temperatures, ice in the crack exerts large pressures on the crack walls that will eventually cause the crack to split open. We show that the crack will then propagate across the soil to form a new lens. The process is controlled by two factors: the cohesion of the soil, and the geometrical supercooling of the water in the soil; a new concept introduced to measure the energy available to form a new ice lens. When the supercooling exceeds a critical amount (proportional to the cohesive strength of the soil) a new ice lens forms. This condition for ice-lens formation and growth does not appeal to any ad hoc, empirical assumptions, and explains how periodic ice lenses can form with or without the presence of a frozen fringe. The proposed mechanism is in good agreement with experiments, in particular explaining ice-lens pattern formation, and surges in heave rate associated with the growth of new lenses. Importantly for systems with no frozen fringe, ice-lens formation and frost heave can be predicted given only the unfrozen properties of the soil. We use our theory to estimate ice-lens growth temperatures obtaining quantitative agreement with the limited experimental data that is currently available. Finally we suggest experiments that might be performed in order to verify this theory in more detail. The theory is generalizable to complex natural-soil scenarios, and should therefore be useful in the prediction of macroscopic frost heave rates.Comment: Submitted to PR

PTEN and DNA-PK determine sensitivity and recovery in response to WEE1 inhibition in human breast cancer

Inhibition of WEE1 kinase by AZD1775 has shown promising results in clinical cancer trials, but markers predicting AZD1775 response are lacking. Here we analysed AZD1775 response in a panel of human breast cancer (BC) cell lines by global proteome/transcriptome profiling and identified two groups of basal-like BC (BLBCs): ‘PTEN low’ BLBCs were highly sensitive to AZD1775 and failed to recover following removal of AZD1775, while ‘PTEN high’ BLBCs recovered. AZD1775 induced phosphorylation of DNA-PK, protecting cells from replication-associated DNA damage and promoting cellular recovery. Deletion of DNA-PK or PTEN, or inhibition of DNA-PK sensitized recovering BLBCs to AZD1775 by abrogating replication arrest, allowing replication despite DNA damage. This was linked to reduced CHK1 activation, increased cyclin E levels and apoptosis. In conclusion, we identified PTEN and DNA-PK as essential regulators of replication checkpoint arrest in response to AZD1775 and defined PTEN as a promising biomarker for efficient WEE1 cancer therapy

Weaving Concurrency in eXecutable Domain-Specific Modeling Languages

International audienceThe emergence of modern concurrent systems (e.g., Cyber-Physical Systems or the Internet of Things) and highly-parallel platforms (e.g., many-core, GPGPU pipelines, and distributed platforms) calls for Domain-Specific Modeling Languages (DSMLs) where concurrency is of paramount importance. Such DSMLs are intended to propose constructs with rich concurrency semantics, which allow system designers to precisely define and analyze system behaviors. However , specifying and implementing the execution semantics of such DSMLs can be a difficult, costly and error-prone task. Most of the time the concurrency model remains implicit and ad-hoc, embedded in the underlying execution environment. The lack of an explicit concurrency model prevents: the precise definition, the variation and the complete understanding of the semantics of the DSML, the effective usage of concurrency-aware analysis techniques, and the exploitation of the concurrency model during the system refinement (e.g., during its allocation on a specific platform). In this paper, we introduce a concurrent executable metamodeling approach, which supports a modular definition of the execution semantics , including the concurrency model, the semantic rules, and a well-defined and expressive communication protocol between them. Our approach comes with a dedicated metalanguage to specify the communication protocol, and with an execution environment to simulate executable models. We illustrate and validate our approach with an implementation of fUML, and discuss the modularity and applicability of our approach

Task shifting and integration of HIV care into primary care in South Africa: The development and content of the streamlining tasks and roles to expand treatment and care for HIV (STRETCH) intervention

Background: Task shifting and the integration of human immunodeficiency virus (HIV) care into primary care services have been identified as possible strategies for improving access to antiretroviral treatment (ART). This paper describes the development and content of an intervention involving these two strategies, as part of the Streamlining Tasks and Roles to Expand Treatment and Care for HIV (STRETCH) pragmatic randomised controlled trial. Methods: Developing the intervention: The intervention was developed following discussions with senior management, clinicians, and clinic staff. These discussions revealed that the establishment of separate antiretroviral treatment services for HIV had resulted in problems in accessing care due to the large number of patients at ART clinics. The intervention developed therefore combined the shifting from doctors to nurses of prescriptions of antiretrovirals (ARVs) for uncomplicated patients and the stepwise integration of HIV care into primary care services. Results: Components of the intervention: The intervention consisted of regulatory changes, training, and guidelines to support nurse ART prescription, local management teams, an implementation toolkit, and a flexible, phased introduction. Nurse supervisors were equipped to train intervention clinic nurses in ART prescription using outreach education and an integrated primary care guideline. Management teams were set up and a STRETCH coordinator was appointed to oversee the implementation process. Discussion: Three important processes were used in developing and implementing this intervention: active participation of clinic staff and local and provincial management, educational outreach to train nurses in intervention sites, and an external facilitator to support all stages of the intervention rollout

Distributed Consensus, Revisited

We provide a novel model to formalize a well-known algorithm, by Chandra and Toueg, that solves Consensus among asynchronous distributed processes in the presence of a particular class of failure detectors (Diamond S or, equivalently, Omega), under the hypothesis that only a minority of processes may crash. The model is defined as a global transition system that is unambigously generated by local transition rules. The model is syntax-free in that it does not refer to any form of programming language or pseudo code. We use our model to formally prove that the algorithm is correct

Cancer cell differentiation heterogeneity and aggressive behavior in solid tumors

The differentiation stage of tumors is a central aspect in the histopathological classification of solid malignancies. The differentiation stage is strongly associated with tumor behavior, and generally an immature tumor is more aggressive than the more differentiated counterpart. While this is common knowledge in surgical pathology, the contribution of differentiation-related gene expression and functions to tumor behavior is often overlooked in the experimental, tumor biological setting. The mechanisms by which tumor cell differentiation stages are perturbed or affected are poorly explored but have recently come into focus with the introduction.of the tumor stem cell concept. While developmental biologists view the differentiation as a unidirectional event, pathologists and tumor biologists have introduced the concept of dedifferentiation to explain phenotypic changes occurring in solid tumors. In this review we discuss the impact of the tumor cell differentiation stage as used in surgical pathology. We further discuss knowledge gained from exploring the molecular basis of the differentiation and dedifferentiation processes in neuroblastoma and breast cancer, two tumor forms where the tumor cell differentiation concept is used in the clinical diagnostic work and where the tumor stem cell theory has been applied

A Cre-conditional MYCN-driven neuroblastoma mouse model as an improved tool for preclinical studies

Neuroblastoma, a childhood cancer that originates from neural crest-derived cells, is the most common deadly solid tumor of infancy. Amplification of the MYCN oncogene, which occurs in approximately 20-25% of human neuroblastomas, is the most prominent genetic marker of high-stage disease. The availability of valid preclinical in vivo models is a prerequisite to develop novel targeted therapies. We here report on the generation of transgenic mice with Cre-conditional induction of MYCN in dopamine β-hydroxylase-expressing cells, termed LSL-MYCN;Dbh-iCre. These mice develop neuroblastic tumors with an incidence of >75%, regardless of strain background. Molecular profiling of tumors revealed upregulation of the MYCN-dependent miR-17-92 cluster as well as expression of neuroblastoma marker genes, including tyrosine hydroxylase and the neural cell adhesion molecule 1. Gene set enrichment analyses demonstrated significant correlation with MYC-associated expression patterns. Array comparative genome hybridization showed that chromosomal aberrations in LSL-MYCN;Dbh-iCre tumors were syntenic to those observed in human neuroblastomas. Treatment of a cell line established from a tumor derived from a LSL-MYCN;Dbh-iCre mouse with JQ1 or MLN8237 reduced cell viability and demonstrated oncogene addiction to MYCN. Here we report establishment of the first Cre-conditional human MYCN-driven mouse model for neuroblastoma that closely recapitulates the human disease with respect to tumor localization, histology, marker expression and genomic make up. This mouse model is a valuable tool for further functional studies and to assess the effect of targeted therapies

Draft genome sequence of Wickerhamomyces anomalus LBCM1105, isolated from cachaça fermentation

Wickerhamomyces anomalus LBCM1105 is a yeast isolated from cachaça distillery fermentation vats, notable for exceptional glycerol consumption ability. We report its draft genome with 20.5x in-depth coverage and around 90% extension and completeness. It harbors the sequences of proteins involved in glycerol transport and metabolism.The authors gratefully acknowledge Laboratorio Nacional de Ciencia e Tecnologia do Bioetanol (CTBE) and the Centro Nacional de Pesquisa em Energia e Materiais (CNPEM) for support with the sequencing of LBCM1105. This work was supported by CAPES/Brazil (PNPD 2755/2011; PCF-PVE 021/2012), by CNPq (Brazil), processes 304815/2012 (research grant) and 305135/2015-5, and by AUXPE-PVES 1801/2012 (Process 23038.015294/2016-18) from Brazilian Government and by UFOP. C.L. is supported by the strategic program UID/BIA/04050/2013 [POCI-01-0145-FEDER-007569] funded by national funds through the FCT I.P. and by the ERDF through the COMPETE2020 - Programa Operacional de Competitividade e Internacionalizacao (POCI). DMRP is a fellow from the CNPq (Conselho Nacional de Desenvolvimento Cientifico e Tecnologico) - Brazil (310080/2018-5)

Barriers to the care of HIV-infected children in rural Zambia: a cross-sectional analysis

<p>Abstract</p> <p>Background</p> <p>Successful antiretroviral treatment programs in rural sub-Saharan Africa may face different challenges than programs in urban areas. The objective of this study was to identify patient characteristics, barriers to care, and treatment responses of HIV-infected children seeking care in rural Zambia.</p> <p>Methods</p> <p>Cross-sectional analysis of HIV-infected children seeking care at Macha Hospital in rural southern Zambia. Information was collected from caretakers and medical records.</p> <p>Results</p> <p>192 HIV-infected children were enrolled from September 2007 through September 2008, 28% of whom were receiving antiretroviral therapy (ART) at enrollment. The median age was 3.3 years for children not receiving ART (IQR 1.8, 6.7) and 4.5 years for children receiving ART (IQR 2.7, 8.6). 91% travelled more than one hour to the clinic and 26% travelled more than 5 hours. Most participants (73%) reported difficulties accessing the clinic, including insufficient money (60%), lack of transportation (54%) and roads in poor condition (32%). The 54 children who were receiving ART at study enrollment had been on ART a median of 8.6 months (IQR: 2.7, 19.5). The median percentage of CD4⁺T cells was 12.4 (IQR: 9.2, 18.6) at the start of ART, and increased to 28.6 (IQR: 23.5, 36.1) at the initial study visit. However, the proportion of children who were underweight decreased only slightly, from 70% at initiation of ART to 61% at the initial study visit.</p> <p>Conclusion</p> <p>HIV-infected children in rural southern Zambia have long travel times to access care and may have poorer weight gain on ART than children in urban areas. Despite these barriers, these children had a substantial rise in CD4⁺T cell counts in the first year of ART although longer follow-up may indicate these gains are not sustained.</p